<script type ="text/JavaScript">
	function setClass(id, className)
	{
		obj = document.getElementById(id);
		if(obj != null)
			{
			obj.className= className;
			}
	}
	setClass("menu_" +"#{page}","current");
</script>